New theoretically-based techniques for the formal analysis and design of cryptographic protocols and their applications list | European Union